Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·6h
🔐Cryptographic Archaeology
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·14h
Proof Automation
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·7h
🎯Proof Tactics
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·1d·
Discuss: Hacker News
📐Mathematical Art
Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·20h
🔐Quantum Security
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Building Apache Phoenix DynamoDB Compatibility: Zero-Code Multi-Cloud Database Migrations at Scale
engineering.salesforce.com·4h
💿ZFS Archaeology
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·1d
Time Crystals
The Chip That Spoke Lisp
jxself.org·6h
🤖Lisp Machines
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·7h·
Discuss: DEV
Performance Mythology
On This Day in Math - October 6
pballew.blogspot.com·1d·
📐Interval Arithmetic
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
The Mondrian introduction to functional optics
marcosh.github.io·8h·
Discuss: Hacker News
Bidirectional Programming
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·5h
📐Mathematical Art
News for September 2025
ptreview.sublinear.info·3d
🧪Property-Based Testing
Self-Extracting F3
buttondown.com·1d·
Discuss: Hacker News
Format Verification
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮SMT Solvers
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
A quiet change to RSA
johndcook.com·1d·
Discuss: Hacker News
🔱Galois Cryptography